Section: New Software and Platforms

HyLeak

Hybrid Analysis Tool for Information Leakage

Keyword: Information leakage

Functional Description: HyLeak is an evolution of the QUAIL tool, also developed by the TAMIS team. HyLeak divides the input program into (terminal) components and decides for each of them whether to analyze it using precise or statistical analysis, by applying heuristics that evaluate the analysis cost of each component. Then, HyLeak composes the analysis results of all components into an approximate joint probability distribution of the secret and observable variables in the program. Finally, the tool estimates the Shannon leakage and its confidence interval.

• Partner: AIST Tsukuba

• Contact: Fabrizio Biondi